Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

In this paper we describe an experimental system called d dt for approximating reachable states for hybrid systems whose con tinuous dynamics is de ned by linear di erential equations We use an approximation algorithm whose accumulation of errors during the con tinuous evolution is much smaller than in previously used methods The d dt system can so far treat non trivial continuous systems hybrid systems convex di erential inclusions and controller synthesis problems